341. Sets, lattices, and Boolean algebras
پدیدآورنده : Abbott, James Crawford
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Set theory,، Lattice theory,، Algebra, Boolean
رده :
QA
248
.
A22
342. Sheaves of Algebras Over Boolean Spaces
پدیدآورنده : / Arthur Knoebel
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Algebra, Boolean,Sheaf theory,جبر بول
رده :
QA10
,.
3
.
K635
2012
343. Sheaves of algebras over boolean spaces
پدیدآورنده : Knoebel, Arthur,4391-,Arthur Knoebel
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Algebra, Boolean,، Sheaf theory
رده :
QA
10
.
3
.
K635
2012
344. Sheaves of algebras over boolean spaces /
پدیدآورنده : Arthur Knoebel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algebra, Boolean.,Sheaf theory.
رده :
QA10
.
3
.
K56
2012eb
345. Sheaves of algebras over boolean spaces
پدیدآورنده : / Arthur Knoebel
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Algebra, Boolean,Sheaf theory
رده :
E-BOOK
346. Sheaves of algebras over boolean spaces
پدیدآورنده : Knoebel, Arthur, 4391-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Algebra, Boolean,، Sheaf theory
رده :
QA
10
.
3
.
K66S5
347. Simplified independence proofs
پدیدآورنده : [by] J. Barkley Rosser.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algebra, Boolean.,Independence (Mathematics),Set theory.
348. Simplified independence proofs; Boolean valued models of set theory
پدیدآورنده : Rosser, John Barkley
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Independence )Mathematics(,، Algebra, Boolean,، Set theory
رده :
QA
3
.
P8
vol
.
31
349. Simplified independence proofs; Boolean valued models of set theroy
پدیدآورنده : / J. Barkley Rosser
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Algebra, Boolean
رده :
511
.
32
Ro-S
350. Special groups: boolean-theoretic methods in the theory of quadratic forms
پدیدآورنده : Dickmann, Max A., 0491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Forms, Quadratic,، Algebra, Boolean
رده :
QA
3
.
A475
no
.
689
351. Statistics of the boolean model for Practitioners and mathematicians
پدیدآورنده : / Ilya Molchanov
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Algebra,Boolean
رده :
QA10
.
3
.
M65
1997
352. Statistics of the boolean model for practitioners & mathematicians
پدیدآورنده : Molchanov, Ilya
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع : ، Algebra, Boolean
رده :
QA
10
.
3
.
M6
S7
353. Stone spaces
پدیدآورنده : Johnstone, P. T.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Algebra, Boolean,، Representations of algebras,، Topology,، Algebra,، Functional analysis
رده :
QA
10
.
3
.
J64
1982
354. Stone spaces /
پدیدآورنده : Peter T. Johnstone
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algebra,Algebra, Boolean,Functional analysis,Representations of algebras,Topology
رده :
QA10
.
3
.
J63
1982
355. Stone spaces
پدیدآورنده : Johnstone, P. T.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Algebra, Boolean,، Representations of algebras,، Topology,، Algebra,، Functional analysis
رده :
QA
10
.
3
.
J63
1982
356. Structures ordonnees et algebres de boole
پدیدآورنده : Faure, Robert
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Algebra, Abstract,، Algebra, Boolean
رده :
QA
162
.
F38
1971
357. Switching Machines :
پدیدآورنده : by J.-P. Perrin, M. Denouette, E. Daclin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.
رده :
QA267
.
5
.
S4
B957
1972
358. Switching theory for logic synthesis.
پدیدآورنده : Tsutomu Sasao
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع :
رده :
TK7868
.
L6
T788
2012
359. Techniques booleennes et calculateurs arithmetique
پدیدآورنده : Chinal, Jean
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Switching theory,، Sequential machine theory,، Algebra, Boolean
رده :
QA
401
.
C52
360. Techniques booleennes et calculateurs arithmetiques
پدیدآورنده : / J. Chinal
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Switching theory,Sequential theory,Algebra, Boolean
رده :
QA401
.
C52